$\forall$$R$:top. sqequal(Rall([]; $x$.$R$($x$)); Rnone)